In this paper we compare the propositional logic of Frege’s Grundgesetze der Arithmetik to modern propositional systems, and show that Frege does not have a separable propositional logic, definable in terms of primitives of Grundgesetze, that corresponds to modern formulations of the logic of “not”, “and”, “or”, and “if…then…”. Along the way we prove a number of novel results about the system of propositional logic found in Grundgesetze, and the broader system obtained by including identity. In particular, we show that (...) the propositional connectives that are definable in terms of Frege’s horizontal, negation, and conditional are exactly the connectives that fuse with the horizontal, and we show that the logical operators that are definable in terms of the horizontal, negation, the conditional, and identity are exactly the operators that are invariant with respect to permutations on the domain that leave the truth-values fixed. We conclude with some general observations regarding how Frege understood his logic, and how this understanding differs from modern views. (shrink)

Objective: There are benefits and risks of giving patients more granular control of their personal health information in electronic health record (EHR) systems. When designing EHR systems and policies, informaticists and system developers must balance these benefits and risks. Ethical considerations should be an explicit part of this balancing. Our objective was to develop a structured ethics framework to accomplish this. -/- Methods: We reviewed existing literature on the ethical and policy issues, developed an ethics framework called a “Points to (...) Consider” (P2C) document, and convened a national expert panel to review and critique the P2C. -/- Results: We developed the P2C to aid informaticists designing an advanced query tool for an electronic health record (EHR) system in Indianapolis. The P2C consists of six questions (“Points”) that frame important ethical issues, apply accepted principles of bioethics and Fair Information Practices, comment on how questions might be answered, and address implications for patient care. -/- Discussion: The P2C is intended to clarify whatis at stake when designers try to accommodate potentially competing ethical commitments and logistical realities. The P2C was developed to guide informaticists who were designing a query tool in an existing EHR that would permit patient granular control. While consideration of ethical issues is coming to the forefront of medical informatics design and development practices, more reflection is needed to facilitate optimal collaboration between designers and ethicists. This report contributes to that discussion. (shrink)

There are many alleged problems with trusting another person’s moral testimony, perhaps the most prominent of which is that it fails to deliver moral understanding. Without moral understanding, one cannot do the right thing for the right reason, and so acting on trusted moral testimony lacks moral worth. This chapter, however, argues that moral advice differs from moral testimony, differs from it in a way that enables a defender of moral advice to parry this worry about moral worth. The basic (...) idea is that an advisor and an advisee can together constitute a joint agent, and that this joint agent’s action can indeed have moral worth. So while the advisee himself might not do the right thing for the right reason (this because all alone he lacks the right reason), and while the advisor herself might not do the right thing for the right reason (this because all alone she does not do the right thing), they together do the right for the right reason. (shrink)

In this position paper, we describe a number of methodological and philosophical challenges that arose within our interdisciplinary Digital Humanities project CatVis, which is a collaboration between applied geometric algorithms and visualization researchers, data scientists working at OCLC, and philosophers who have a strong interest in the methodological foundations of visualization research. The challenges we describe concern aspects of one single epistemic need: that of methodologically securing (an increase in) trust in visualizations. We discuss the lack of ground truths in (...) the (digital) humanities and argue that trust in visualizations requires that we evaluate visualizations on the basis of ground truths that humanities scholars themselves create. We further argue that trust in visualizations requires that a visualization provides provable guarantees on the faithfulness of the visual representation and that we must clearly communicate to the users which part of the visualization can be trusted and how much. Finally, we discuss transparency and accessibility in visualization research and provide measures for securing transparency and accessibility. (shrink)

This paper investigates conceptions of explanation, teleology, and analogy in the works of Immanuel Kant (1724-1804) and Georges Cuvier (1769-1832). Richards (2000, 2002) and Zammito (2006, 2012, 2018) have argued that Kant’s philosophy provided an obstacle for the project of establishing biology as a proper science around 1800. By contrast, Russell (1916), Outram (1986), and Huneman (2006, 2008) have argued, similar to suggestions from Lenoir (1989), that Kant’s philosophy influenced the influential naturalist Georges Cuvier. In this article, I wish to (...) expand on and further the work of Russell, Outram, and Huneman by adopting a novel perspective on Cuvier and considering (a) the similar conceptions of proper science and explanation of Kant and Cuvier, and (b) the similar conceptions of the role of teleology and analogy in the works of Kant and Cuvier. The similarities between Kant and Cuvier show, contrary to the interpretation of Richards and Zammito, that some of Kant’s philosophical ideas, whether they derived from him or not, were fruitfully applied by some life scientists who wished to transform life sciences into proper sciences around 1800. However, I also show that Cuvier, in contrast to Kant, had a workable strategy for transforming the life sciences into proper sciences, and that he departed from Kant’s philosophy of science in crucial respects. (shrink)

Research on the use of propranolol as a pharmacological memory dampening treatment for post-traumatic stress disorder is continuing and justifies a second look at the legal and ethical issues raised in the past. We summarize the general ethical and legal issues raised in the literature so far, and we select two for in-depth reconsideration. We address the concern that a traumatized witness may be less effective in a prosecution emerging from the traumatic event after memory dampening treatment. We analyze this (...) issue in relation to sexual assault, where the suggestion that corroborating evidence may remedy any memory defects is less likely to be helpful. We also consider the clinical ethical question about a physician's obligation to discuss potential legal consequences of memory dampening treatment. We conclude that this latter question reflects a general problem related to novel medical treatments where the broader socio-legal consequences may be poorly understood, and suggest that issues of this sort could usefully be addressed through the promulgation of practice guidelines. (shrink)

In this paper, I develop a novel account of concept acquisition for an atomistic theory of concepts. Conceptual atomism is rarely explored in cognitive science because of the feeling that atomistic treatments of concepts are inherently nativistic. My model illustrates, on the contrary, that atomism does not preclude the learning of a concept.

At some point in the future – perhaps within the next few decades – it will be possible for foetuses to develop completely outside the womb. Ectogenesis, as this technology is called, raises substantial issues for the abortion debate. One such issue is that it will become possible for a woman to have an abortion, in the sense of having the foetus removed from her body, but for the foetus to be kept alive. We argue that while there is a (...) right to an abortion, there are reasons to doubt that there is a right to the death of the foetus. Our strategy in this essay is to consider and reject three arguments in favour of this latter right. The first claims that women have a right not to be biological mothers, the second that women have a right to genetic privacy, and the third that a foetus is one's property. Furthermore, we argue that it follows from rejecting the third claim that genetic parents also lack a right to the destruction of cryopreserved embryos used for in vitro fertilization. The conclusion that a woman possesses no right to the death of the foetus builds upon the claims that other pro-choice advocates, such as Judith Jarvis Thomson, have made. (shrink)

The overwhelming majority of those who theorize about implicit biases posit that these biases are caused by some sort of association. However, what exactly this claim amounts to is rarely specified. In this paper, I distinguish between different understandings of association, and I argue that the crucial senses of association for elucidating implicit bias are the cognitive structure and mental process senses. A hypothesis is subsequently derived: if associations really underpin implicit biases, then implicit biases should be modulated by counterconditioning (...) or extinction but should not be modulated by rational argumentation or logical interventions. This hypothesis is false; implicit biases are not predicated on any associative structures or associative processes but instead arise because of unconscious propositionally structured beliefs. I conclude by discussing how the case study of implicit bias illuminates problems with popular dual-process models of cognitive architecture. (shrink)

According to one interpretation of Aristotle’s famous thesis, to say that action is the conclusion of practical reasoning is to say that action is itself a judgment about what to do. A central motivation for the thesis is that it suggests a path for understanding the non-observational character of practical knowledge. If actions are judgments, then whatever explains an agent’s knowledge of the relevant judgment can explain her knowledge of the action. I call the approach to action that accepts Aristotle’s (...) thesis so understood Normativism. There are many reasons to doubt Normativism. My aim in this paper is to defend Normativism from a pair of arguments that purport to show that a normative judgment could not constitute an event in material reality and also the knowledge of such a happening. Both highlight a putative mismatch between the natures of, on the one hand, an agent’s knowledge of her normative judgment and, on the other, her knowledge of her own action. According to these objections, knowledge of action includes (a) perceptual knowledge and (b) knowledge of what one has already done. But knowledge of a normative judgment includes neither. Hence knowledge of action cannot simply be knowledge of a normative judgment. (shrink)

The advanced division of cognitive labor generates a set of challenges and opportunities for professional philosophers. In this paper, I re-characterize the nature of synthetic philosophy in light of these challenges and opportunities. In part 1, I’ll remind you of the centrality of the division of labor to Plato’s Republic, and why this is especially salient in his banishment of the poets from his Kallipolis. I’ll then focus on the significance of an easily overlooked albeit rather significant character, Damon, mentioned (...) in that dialogue. I’ll argue that if we take the relationship between Socrates and Damon seriously, we’ll notice that in modeling imperfect polities, Plato inscribes Socrates within the advanced division of cognitive labor who defers to Damon as an expert on a key feature of the art of government. In fact, I’ll argue that in Republic, Plato offers us at least two ways to conceptualize philosophy’s relationship to the sciences, and that he alerts us to the social significance of this. In part 2, I’ll re-introduce my conceptualization of synthetic philosophy and restate it. Back in 2019 I published a short paper on it that went viral and was immediately used by others. Reflection on their use instructed me about an ambiguity in my position. Building on the material in parts 1-2, in part 3, I’ll contrast my account with a number of ways that Philip Kitcher has conceptualized synthetic philosophy in order to make more precise the version promoted here. (shrink)

In some recent works, Crupi and Iacona have outlined an analysis of ‘if’ based on Chrysippus’ idea that a conditional holds whenever the negation of its consequent is incompatible with its antecedent. This paper presents a sound and complete system of conditional logic that accommodates their analysis. The soundness and completeness proofs that will be provided rely on a general method elaborated by Raidl, which applies to a wide range of systems of conditional logic.

Except for a patina of twenty-first century modernity, in the form of logic and language, philosophy is exactly the same now as it ever was; it has made no progress whatsoever. We philosophers wrestle with the exact same problems the Pre-Socratics wrestled with. Even more outrageous than this claim, though, is the blatant denial of its obvious truth by many practicing philosophers. The No-Progress view is explored and argued for here. Its denial is diagnosed as a form of anosognosia, a (...) mental condition where the affected person denies there is any problem. The theories of two eminent philosophers supporting the No-Progress view are also examined. The final section offers an explanation for philosophy 's inability to solve any philosophical problem, ever. The paper closes with some reflections on philosophy 's future. (shrink)

A Bayesian mind is, at its core, a rational mind. Bayesianism is thus well-suited to predict and explain mental processes that best exemplify our ability to be rational. However, evidence from belief acquisition and change appears to show that we do not acquire and update information in a Bayesian way. Instead, the principles of belief acquisition and updating seem grounded in maintaining a psychological immune system rather than in approximating a Bayesian processor.

The current COVID-19 pandemic and the previous SARS/MERS outbreaks of 2003 and 2012 have resulted in a series of major global public health crises. We argue that in the interest of developing effective and safe vaccines and drugs and to better understand coronaviruses and associated disease mechenisms it is necessary to integrate the large and exponentially growing body of heterogeneous coronavirus data. Ontologies play an important role in standard-based knowledge and data representation, integration, sharing, and analysis. Accordingly, we initiated the (...) development of the community-based Coronavirus Infectious Disease Ontology in early 2020. -/- As an Open Biomedical Ontology (OBO) library ontology, CIDO is open source and interoperable with other existing OBO ontologies. CIDO is aligned with the Basic Formal Ontology and Viral Infectious Disease Ontology. CIDO has imported terms from over 30 OBO ontologies. For example, CIDO imports all SARS-CoV-2 protein terms from the Protein Ontology, COVID-19-related phenotype terms from the Human Phenotype Ontology, and over 100 COVID-19 terms for vaccines (both authorized and in clinical trial) from the Vaccine Ontology. CIDO systematically represents variants of SARS-CoV-2 viruses and over 300 amino acid substitutions therein, along with over 300 diagnostic kits and methods. CIDO also describes hundreds of host-coronavirus protein-protein interactions (PPIs) and the drugs that target proteins in these PPIs. CIDO has been used to model COVID-19 related phenomena in areas such as epidemiology. The scope of CIDO was evaluated by visual analysis supported by a summarization network method. CIDO has been used in various applications such as term standardization, inference, natural language processing (NLP) and clinical data integration. We have applied the amino acid variant knowledge present in CIDO to analyze differences between SARS-CoV-2 Delta and Omicron variants. CIDO's integrative host-coronavirus PPIs and drug-target knowledge has also been used to support drug repurposing for COVID-19 treatment. -/- CIDO represents entities and relations in the domain of coronavirus diseases with a special focus on COVID-19. It supports shared knowledge representation, data and metadata standardization and integration, and has been used in a range of applications. (shrink)

In this paper, I present a game-theoretic solution to the rule-following paradox in terms of what I will call basic constitutive practices. The structure of such a practice P constitutes what it is to take part in P by defining the correctness conditions of our most basic concepts as those actions that lie on the correlated equilibrium of P itself. Accordingly, an agent S meant addition by his use of the term ‘+’ because S is taking part in a basic (...) constitutive practice of adding where quus-like answers are ruled out by not lying on the equilibrium. The resulting picture of language will preserve the objectivity and correctness conditions of meaning, all the while providing room for the community as a whole to make a mistake. I also argue that by accepting the account presented, we have a strong reason to reject the idea that language is rule-governed. (shrink)

On an intellectualist approach to belief, the intellectual endorsement of a proposition (such as “The working poor deserve as much respect as the handsomely paid”) is sufficient or nearly sufficient for believing it. On a pragmatic approach to belief, intellectual endorsement is not enough. Belief is behaviorally demanding. To really, fully believe, you must also “walk the walk.” This chapter argues that the pragmatic approach is preferable on pragmatic grounds: It rightly directs our attention to what matters most in thinking (...) about belief. (shrink)

Traditionally, a scientific model is thought to provide a good scientific explanation to the extent that it satisfies certain scientific goals that are thought to be constitutive of explanation. Problems arise when we realize that individual scientific models cannot simultaneously satisfy all the scientific goals typically associated with explanation. A given model’s ability to satisfy some goals must always come at the expense of satisfying others. This has resulted in philosophical disputes regarding which of these goals are in fact necessary (...) for explanation, and as such which types of models can and cannot provide explanations. Explanatory monists argue that one goal will be explanatory in all contexts, while explanatory pluralists argue that the goal will vary based on pragmatic considerations. In this paper, I argue that such debates are misguided, and that both monists and pluralists are incorrect. Instead of any goal being given explanatory priority over others in a given context, the different goals are all deeply dependent on one another for their explanatory power. Any model that sacrifices some explanatory goals to attain others will always necessarily undermine its own explanatory power in the process. And so when forced to choose between individual scientific models, there can be no explanatory victors. Given that no model can satisfy all the goals typically associated with explanation, no one model in isolation can provide a good scientific explanation. Instead we must appeal to collections of models. Collections of models provide an explanation when they satisfy the web of interconnected goals that justify the explanatory power of one another. (shrink)

Consider the following three claims. (i) There are no truths of the form ‘p and ~p’. (ii) No one holds a belief of the form ‘p and ~p’. (iii) No one holds any pairs of beliefs of the form {p, ~p}. Irad Kimhi has recently argued, in effect, that each of these claims holds and holds with metaphysical necessity. Furthermore, he maintains that they are ultimately not distinct claims at all, but the same claim formulated in different ways. I find (...) his argument suggestive, if not entirely transparent. I do think there is at least an important kernel of truth even in (iii), and that (i) ultimately explains what’s right about the other two. Consciousness of an impossibility makes belief in the obtaining of the corresponding state of affairs an impossibility. Interestingly, an appreciation of this fact brings into view a novel conception of inference, according to which it consists in the consciousness of necessity. This essay outlines and defends this position. A central element of the defense is that it reveals how reasoners satisfy what Paul Boghossian calls the Taking Condition and do so without engendering regress. (shrink)

What is a concept? Philosophers have given many different answers to this question, reflecting a wide variety of approaches to the study of mind and language. Nonetheless, at the most general level, there are two dominant frameworks in contemporary philosophy. One proposes that concepts are mental representations, while the other proposes that they are abstract objects. This paper looks at the differences between these two approaches, the prospects for combining them, and the issues that are involved in the dispute. We (...) argue that powerful motivations have been offered in support of both frameworks. This suggests the possibility of combining the two. Unlike Frege, we hold that the resulting position is perfectly coherent and well worth considering. Nonetheless, we argue that it should be rejected along with the view that concepts are abstract objects. (shrink)

I describe a phenomenon that has not yet been described in the epistemology literature. I label this phenomenon expression-style exclusion. Expression-style exclusion is an example of how s...

“What is the structure of thought?” is as central a question as any in cognitive science. A classic answer to this question has appealed to a Language of Thought (LoT). We point to emerging research from disparate branches of the field that supports the LoT hypothesis, but also uncovers diversity in LoTs across cognitive systems, stages of development, and species. Our letter formulates open research questions for cognitive science concerning the varieties of rules and representations that underwrite various LoT-based systems (...) and how these variations can help researchers taxonomize cognitive systems. (shrink)

This essay attempts to clarify the nature and structure of aliefs. First I distinguish between a robust notion of aliefs and a deflated one. A robust notion of aliefs would introduce aliefs into our psychological ontology as a hitherto undiscovered kind, whereas a deflated notion of aliefs would identify aliefs as a set of pre-existing psychological states. I then propose the following dilemma: one the one hand, if aliefs have propositional content, then it is unclear exactly how aliefs differ from (...) psychological states we already countenance, in which case there is no robust notion of aliefs; on the other, if aliefs just contain associative content, then they cannot do the explanatory work set out for them, in which case there is no reason to posit aliefs at all. Thus, it appears that we have little reason to posit the novel category of robust aliefs. (shrink)

Aristotle's treatment of the choice between the political and contemplative lives (in EN I 5 and X 7-8) can seem awkward. To offer one explanation of this, I argue that when he invokes self-sufficience (autarkeia) as a criterion for this choice, he appeals to two different and incompatible specifications of "lacking nothing." On one specification, suitable to a human being living as a political animal and thus seeking to realize his end as an engaged citizen of a polis, a person (...) lacks nothing by possessing a wide range of goods that directly require other people. On the other, more suitable to a god or a beast, a person lacks nothing by having no need of goods that directly require other people. The ambiguity of this criterion renders the choice between the political and contemplative lives difficult. (shrink)

Whole Brain Emulation has been championed as the most promising, well-defined route to achieving both human-level artificial intelligence and superintelligence. It has even been touted as a viable route to achieving immortality through brain uploading. WBE is not a fringe theory: the doctrine of Computationalism in philosophy of mind lends credence to the in-principle feasibility of the idea, and the standing of the Human Connectome Project makes it appear to be feasible in practice. Computationalism is a popular, independently plausible theory, (...) and Connectomics a well-funded empirical research program, so optimism about WBE is understandable. However, this optimism may be misplaced. This article argues that WBE is, at best, no more compelling than any of the other far-flung routes to achieving superintelligence. Similarly skeptical conclusions are found regarding immortality. The essay concludes with some positive considerations in favor of the Biological Theory of consciousness, as well as morals about the limits of Computationalism in both artificial intelligence and the philosophy of mind more generally. (shrink)

How do you know what you want? Philosophers have lately developed sophisticated accounts of the practical and doxastic knowledge that are rooted in the point of view of the subject. Our ability to just say what we are doing or what we believe—that is, to say so authoritatively, but not on the basis of observation or evidence—is an aspect of our ability to reason about the good and the true. However, no analogous route to orectic self-knowledge is feasible. Knowledge of (...) desire is distinctive in being a matter of our affective response to imagined prospects. An examination of this idea yields the following thesis: I know what I want just in case the object pursued in anticipation of a certain pleasure actually yields the anticipated pleasure. (shrink)

This paper analyzes the historical context and systematic importance of Kant's hypothetical use of reason. It does so by investigating the role of hypotheses in Kant's philosophy of science. We first situate Kant’s account of hypotheses in the context of eighteenth-century German philosophy of science, focusing on the works of Wolff, Meier, and Crusius. We contrast different conceptions of hypotheses of these authors and elucidate the different theories of probability informing them. We then adopt a more systematic perspective to discuss (...) Kant's idea that scientific hypotheses must articulate real possibilities. We argue that Kant's views on the intelligibility of scientific hypotheses constitute a valuable perspective on scientific understanding and the constraints it imposes on scientific rationality. (shrink)

In this paper, we argue that promoting patient values is a legitimate goal of medicine. Our view offers a justification for certain current practices, including birth control and living organ donation, that are widely accepted but do not fit neatly within the most common extant accounts of the goals of medicine. Moreover, we argue that recognising value promotion as a goal of medicine will expand the scope of medical practice by including some procedures that are sometimes rejected as being outside (...) the scope of acceptable medical practice, such as certain forms of physician-assisted death. We then rebut some common and possible objections to this view. Our aim is not to argue that other accounts are mistaken—except when they argue for a single goal that does not include patient values—but rather to show that value promotion should play a more central role in discussions about the goals of medicine. (shrink)

The Standard View of personal identity says that someone who exists now can exist at another time only if there is continuity of her mental contents or capacities. But no person is psychologically continuous with a fetus, for a fetus, at least early in its career. has no mental features at all. So the Standard View entails that no person was ever a fetus---contrary to the popular assumption that an unthinking fetus is a potential person. It is also mysterious what (...) does ordinarily happen to a human fetus, if it does not come to be a person. Although an extremely complex variant of the Standard View may allow one to persist without psychological continuity before one becomes a person but not afterwards, a far simpler solution is to accept a radically non-psychological account of our identity. (shrink)

This paper takes a fresh look at the nativism–empiricism debate, presenting and defending a nativist perspective on the mind. Empiricism is often taken to be the default view both in philosophy and in cognitive science. This paper argues, on the contrary, that there should be no presumption in favor of empiricism (or nativism), but that the existing evidence suggests that nativism is the most promising framework for the scientific study of the mind. Our case on behalf of nativism has four (...) parts. (1) We characterize nativism’s core commitments relative to the contemporary debate between empiricists and nativists, (2) we present the positive case for nativism in terms of two central nativist arguments (the poverty of the stimulus argument and the argument from animals), (3) we respond to a number of influential objections to nativist theories, and (4) we explain the nativist approach to the conceptual system. (shrink)

Rationalization, in our intended sense of the term, occurs when a person favors a particular conclusion as a result of some factor (such as self-interest) that is of little justificatory epistemic relevance, if that factor then biases the person’s subsequent search for, and assessment of, potential justifications for the conclusion. Empirical evidence suggests that rationalization is common in people’s moral and philosophical thought. We argue that it is likely that the moral and philosophical thought of philosophers and moral psychologists is (...) also pervaded by rationalization. Moreover, although rationalization has some benefits, overall it would be epistemically better if the moral and philosophical reasoning of people, including professional academics, were not as heavily influenced by rationalization as it likely is. We discuss the significance of our arguments for cognitive management and epistemic responsibility. (shrink)

Is it impossible for a person to do something intentionally without knowing that she is doing it? The phenomenon of self-deceived agency might seem to show otherwise. Here the agent is not lying, yet disavows a correct description of her intentional action. This disavowal might seem expressive of ignorance. However, I show that the self-deceived agent does know what she's doing. I argue that we should understand the factors that explain self-deception as masking rather than negating the practical knowledge characteristic (...) of intentional action. This masking takes roughly the following form: when we are deceiving ourselves about what we are intentionally doing, we don't think about our action because it's painful to do so. (shrink)

This paper has two main aims. The first is to present a general approach for understanding “dispositional” and “categorical” properties; the second aim is to use this approach to criticize Russellian Monism. On the approach I suggest, what are usually thought of as “dispositional” and “categorical” properties are really just the extreme ends of a spectrum of options. The approach allows for a number of options between these extremes, and it is plausible, I suggest, that just about everything of scientific (...) interest falls in this middle ground. I argue that Russellian Monism depends for its plausibility on the unarticulated assumption that there are no properties in the middle ground. (shrink)

In this paper, we outline and critically evaluate Thomas Hofweber’s solution to a semantic puzzle he calls Frege’s Other Puzzle. After sketching the Puzzle and two traditional responses to it—the Substantival Strategy and the Adjectival Strategy—we outline Hofweber’s proposed version of Adjectivalism. We argue that two key components—the syntactic and semantic components—of Hofweber’s analysis both suffer from serious empirical difficulties. Ultimately, this suggests that an altogether different solution to Frege’s Other Puzzle is required.

This paper defends a reading of Wittgenstein’s philosophy of mathematics in the Lectures on the Foundation of Mathematics as a radical conventionalist one, whereby our agreement about the particular case is constitutive of our mathematical practice and ‘the logical necessity of any statement is a direct expression of a convention’ (Dummett 1959, p. 329). -/- On this view, mathematical truths are conceptual truths and our practices determine directly for each mathematical proposition individually whether it is true or false. Mathematical truths (...) are thus not consequences of a prior adoption of a convention or rules as orthodox conventionalism has it. -/- The goal of the paper is not merely exegetical, however, and argues that radical conventionalism can withstand some of the most difficult objections that have been brought forward against it, including those of Dummett himself, and thus that radical conventionalism has been prematurely excluded from consideration by philosophers of mathematics. (shrink)

In this paper, I offer a close reading of Wittgenstein's remarks on inconsistency, mostly as they appear in the Lectures on the Foundations of Mathematics. I focus especially on an objection to Wittgenstein's view given by Alan Turing, who attended the lectures, the so-called ‘falling bridges’-objection. Wittgenstein's position is that if contradictions arise in some practice of language, they are not necessarily fatal to that practice nor necessitate a revision of that practice. If we then assume that we have adopted (...) a paraconsistent logic, Wittgenstein's answer to Turing is that if we run into trouble building our bridge, it is either because we have made a calculation mistake or our calculus does not actually describe the phenomenon it is intended to model. The possibility of either kind of error is not particular to contradictions nor inconsistency, and thus contradictions do not have any special status as a thing to be avoided. (shrink)

A common view in the philosophy of mind and philosophy of psychology is that there is an ideally correct way of categorizing the structures and operations of the mind, and that the goal of neuroscience and psychology is to find this correct categorizational scheme. Categories which cannot find a place within this correct framework ought to be eliminated from scientific practice. In this paper, I argue that this general idea runs counter to productive scientific practices. Such a view ignores the (...) plurality of aims and goals that neuroscientists and psychologists have in studying mental phenomena, and the necessity of employing distinct classificatory frameworks to achieve them. (shrink)

There are multiple formal characterizations of the natural numbers available. Despite being inter-derivable, they plausibly codify different possible applications of the naturals – doing basic arithmetic, counting, and ordering – as well as different philosophical conceptions of those numbers: structuralist, cardinal, and ordinal. Nevertheless, some influential philosophers of mathematics have argued for a non-egalitarian attitude according to which one of those characterizations is more “legitmate” in virtue of being “more basic” or “more fundamental”. This paper addresses two related issues. First, (...) we review some of these non-egalitarian arguments, lay out a laundry list of different, legitimate, notions of relative priority, and suggest that these arguments plausibly employ different such notions. Secondly, we argue that given a metaphysical-cum-epistemological gloss suggested by Frege’s foundationalist epistomology, the ordinals are plausibly more basic than the cardinals. This is just one orientation to relative priority one could take, however. Ultimately, we subscribe to an egalitarian attitude towards these formal characterizations: they are, in some sense, equally “legitimate”. (shrink)

I argue that central to Aristotle’s account of vice is a distinction between two varieties of vicious person: those for whom character change is possible (the curable), and those for whom it is not (the incurable). Recognizing this distinction and drawing out the ideas which ground it shows why Aristotle’s discussions of vice in EN vii and ix 4 are not inconsistent.

Moorean arguments are a popular and powerful way to engage highly revisionary philosophical views, such as nihilism about motion, time, truth, consciousness, causation, and various kinds of skepticism (e.g., external world, other minds, inductive, global). They take, as a premise, a highly plausible first-order claim (e.g., cars move, I ate breakfast before lunch, it’s true that some fish have gills) and conclude from it the falsity of the highly revisionary philosophical thesis. Moorean arguments can be used against nihilists in ethics (...) (error theorists), too. Recently, error theorists have recognized Moorean arguments as a powerful challenge and have tried to meet it. They’ve argued that moral Moorean premises seem highly credible to us, but aren’t, by offering various debunking explanations. These explanations all appeal to higher-order evidence—evidence of error in our reasoning. I argue that drawing attention to higher-order evidence is a welcome contribution from error theorists, but that the higher-order evidence actually counts further against error theoretic arguments—including their debunking explanations—and further in favor of Moorean arguments and the commonsense views they support. Along the way I answer a few prominent objections to Moorean arguments: that they are objectionably question-begging, rely on categorizing some facts as “Moorean Facts”, and that reports of one’s credence in a proposition bears no interesting relation to that proposition’s credibility. (shrink)

Expanded reprint of the WIREs Science of Belief paper for Julien Musolino, Joseph Sommer, and Pernille Hemmer's The Science of Beliefs: A Multidisciplinary Approach. Cambridge University Press.

Some key political challenges today, e.g. climate change, are future oriented. The intergenerational setting differs in some notable ways from the intragenerational one, creating obstacles to theorizing about intergenerational justice. One concern is that as the circumstances of justice do not pertain intergenerationally, intergenerational justice is not meaningful. In this paper, I scrutinize this worry by analysing the presentations of the doctrine of the circumstances of justice by David Hume and John Rawls. I argue that we should accept the upshot (...) of their idea, that justice is context sensitive, even if this at first sight seems to invalidate intergenerational justice. On the basis of moral constructivism, I subsequently provide a fresh reading of the doctrine according to which it conveys the idea that justice is the solution to a practical problem. However, as the problem background is evolving, we need to properly characterize the relevant practical problem in order to make ethical theorizing relevant. Contrary to what has been claimed, the circumstances of justice do not then clash with intergenerational justice, but are the necessary presuppositions for its advancement. (shrink)

Mathematics is obviously important in the sciences. And so it is likely to be equally important in any effort that aims to understand God in a scientifically significant way or that aims to clarify the relations between science and theology. The degree to which God has any perfection is absolutely infinite. We use contemporary mathematics to precisely define that absolute infinity. For any perfection, we use transfinite recursion to define an endlessly ascending series of degrees of that perfection. That series (...) rises to an absolutely infinite degree of that perfection. God has that absolutely infinite degree. We focus on the perfections of knowledge, power, and benevolence. Our model of divine infinity thus builds a bridge between mathematics and theology. (shrink)

This chapter explains how the rise of the Mechanical philosophy during the seventeenth century contributed to the transformation of the traditional, Aristotelian schema of four causes into the dominance of efficient causation as the paradigmatic cause by the time of David Hume. But the chapter simultaneously shows that the mechanical philosophy also gave rise to a number of problems internal to it, as diagnosed by Newton and Newtonian natural philosophers, that facilitated more careful analysis of the nature of causation.

The mainstream tradition in recent Anglophone Zhuangzi interpretation treats spontaneous skillful responsiveness – similar to the spontaneous responsiveness of a skilled artisan, athlete, or musician – as a, or the, Zhuangzian ideal. However, this interpretation is poorly grounded in the Inner Chapters. On the contrary, in the Inner Chapters, this sort of skillfulness is at least as commonly criticized as celebrated. Even the famous passage about the ox-carving cook might be interpreted more as a celebration of the knife’s passivity than (...) as a celebration of the cook’s skillfulness. (shrink)

This is a study of Plato's use of the character Socrates to model what philosophy is. The study focuses on the Apology, and finds that philosophy there is the love of wisdom, where wisdom is expertise about how to live, of the sort that only gods can fully have, and where Socrates loves wisdom in three ways, first by honoring wisdom as the gods' possession, testing human claims to it, second by pursuing wisdom, examining himself as he examines others, to (...) achieve a more well justified set of beliefs about how to live, and third by trying to live wisely, insofar as he can, which includes exhorting others to care about living wisely than anything else. The essay also includes some suggestions about how Plato criticizes and revises this model of philosophy outside the Apology. (shrink)

Foundational theories of mental content seek to identify the conditions under which a mental representation expresses, in the mind of a particular thinker, a particular content. Normativists endorse the following general sort of foundational theory of mental content: A mental representation r expresses concept C for agent S just in case S ought to use r in conformity with some particular pattern of use associated with C. In response to Normativist theories of content, Kathrin Glüer-Pagin and Åsa Wikforss propose a (...) dilemma, alleging that Normativism either entails a vicious regress or falls prey to a charge of idleness. In this paper, I respond to this argument. I argue that Normativism can avoid the commitments that generate the regress and does not propose the sort of explanation required to charge that its explanation has been shown to be problematically idle. The regress-generating commitment to be avoided is, roughly, that tokened, contentful mental states are the product of rule-following. The explanatory task Normativists should disavow is that of explaining how it is that beliefs and other contentful mental states are produced. I argue that Normativism, properly understood as a theory of content, does not provide this kind of psychological explanation, and therefore does not entail that such explanations are to be given in terms of rule-following. If this is correct, Normativism is not the proper target of the dilemma offered by Glüer-Pagin and Wikforss. Understanding why one might construe Normativism in the way Glüer-Pagin and Wikforss must, and how, properly understood, it avoids their dilemma, can help us to appreciate the attractiveness of a genuinely normative theory of content and the importance of paying careful attention to the sort of normativity involved in norm-based theories of content. (shrink)

For some reason, participants hold agents more responsible for their actions when a situation is described concretely than when the situation is described abstractly. We present examples of this phenomenon, and survey some attempts to explain it. We divide these attempts into two classes: affective theories and cognitive theories. After criticizing both types of theories we advance our novel hypothesis: that people believe that whenever a norm is violated, someone is responsible for it. This belief, along with the familiar workings (...) of cognitive dissonance theory, is enough to not only explain all of the abstract/concrete paradoxes, but also explains seemingly unrelated effects, like the anthropomorphization of malfunctioning inanimate objects. (shrink)

In statistics, there are two main paradigms: classical and Bayesian statistics. The purpose of this article is to investigate the extent to which classicists and Bayesians can agree. My conclusion is that, in certain situations, they cannot. The upshot is that, if we assume that the classicist is not allowed to have a higher degree of belief in a null hypothesis after he has rejected it than before, then he has to either have trivial or incoherent credences to begin with (...) or fail to update his credences by conditionalization. (shrink)

There is a long-standing debate in the philosophy of mind and philosophy of science regarding how best to interpret the relationship between neuroscience and psychology. It has traditionally been argued that either the two domains will evolve and change over time until they converge on a single unified account of human behaviour, or else that they will continue to work in isolation given that they identify properties and states that exist autonomously from one another (due to the multiple-realizability of psychological (...) states). In this paper, I argue that progress in psychology and neuroscience is contingent on the fact that both of these positions are false. Contra the convergence position, I argue that the theories of psychology and the theories of neuroscience are scientifically valuable as representational tools precisely because they cannot be integrated into a single account. However, contra the autonomy position, I propose that the theories of psychology and neuroscience are deeply dependent on one another for further refinement and improvement. In this respect, there is an irreconcilable codependence between psychology and neuroscience that is necessary for both domains to improve and progress. The two domains are forever linked while simultaneously being unable to integrate. (shrink)